Boolean satisfiability problem - PDFSEARCH.IO - Document Search Engine

Boolean satisfiability problem
Results: 324

#	Item
91	—PREPRINT— Cooled and Relaxed Survey Propagation for MRFs Hai Leong Chieu1,2 , Wee Sun Lee2 1 Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2007-10-02 20:48:46 Graph theory Probability theory Belief propagation Coding theory Factor graph Independence Boolean satisfiability problem Theoretical computer science Graphical models Mathematics
92	16th Canadian Conference on Computational Geometry, 2004 An Average Running Time Analysis of a Backtracking Algorithm to Calculate the Measure of the Union of Hyperrectangles in Dimensions Susumu Suzuki Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2004-08-23 15:27:23 Operations research NP-complete problems Search algorithms Analysis of algorithms Boolean satisfiability problem Backtracking Algorithm PP Time complexity Theoretical computer science Applied mathematics Computational complexity theory
93	νZ - An Optimizing SMT Solver Nikolaj Bjørner1 , Anh-Dung Phan2 , and Lars Fleckenstein3 1 Microsoft Research, Redmond, WA, USA DTU Compute, Technical University of Denmark Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-01-22 06:10:53 Operations research Constraint programming Electronic design automation Formal methods NP-complete problems Satisfiability Modulo Theories Mathematical optimization Linear programming Boolean satisfiability problem Theoretical computer science Applied mathematics Mathematics
94	Disjoint, Partition and Intersection Constraints for Set and Multiset Variables Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:29 Software engineering Local consistency Multiset Boolean satisfiability problem Cardinality Decomposition method Linear programming relaxation Constraint programming Theoretical computer science Mathematics
95	Takustraße 7 DBerlin-Dahlem Germany Konrad-Zuse-Zentrum fur Add to Reading List Source URL: coral.ie.lehigh.edu Language: English - Date: 2011-05-23 10:47:24 Operations research Linear programming Cutting-plane method MPS Reduction Algorithm Solver Boolean satisfiability problem Satisfiability Modulo Theories Theoretical computer science Applied mathematics Mathematical optimization
96	Universidad de Buenos Aires Facultad de Ciencias Exactas y Naturales ´n Departamento de Computacio A study of the Combination Problem: Add to Reading List Source URL: dc.uba.ar Language: English - Date: 2014-11-21 09:25:33 Logic in computer science Electronic design automation Formal methods NP-complete problems Model theory Satisfiability Modulo Theories Satisfiability Boolean satisfiability problem Decision problem Theoretical computer science Mathematics Mathematical logic
97	Microsoft PowerPoint - dod-sat-workshop.ppt [Compatibility Mode] Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-08 14:27:26 Mathematics Local consistency Constraint satisfaction Mathematical optimization Boolean satisfiability problem Belief propagation Bayesian network Graphical model Constraint optimization Constraint programming Theoretical computer science Software engineering
98	νZ - Maximal Satisfaction with Z3 Nikolaj Bjørner1 and Anh-Dung Phan2∗ 1 2 Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-10-16 19:21:04 Formal methods Constraint programming Electronic design automation Logic in computer science NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Linear programming Mathematical optimization Theoretical computer science Applied mathematics Mathematics
99	Under consideration for publication in Math. Struct. in Comp. Science Applications and Extensions of Alloy: Past, Present, and Future E M I N A T O R L A K 1 , M A N A T A G H D I R I 2 , G R E G D E N N I S 3 and J O S Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Model checkers Logic in computer science Alloy Analyzer Massachusetts Institute of Technology Alloy NuSMV Formal verification First-order logic Boolean satisfiability problem Theoretical computer science Formal methods Applied mathematics
100	Minimising Decision Tree Size as Combinatorial Optimisation? Christian Bessiere1 , Emmanuel Hebrard2 , and Barry O’Sullivan2 1 LIRMM, Montpelier, France Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:30 Decision trees Constraint programming Boolean algebra Binary tree Decision tree learning Constraint satisfaction Decision tree model Boolean satisfiability problem B-tree Theoretical computer science Mathematics Applied mathematics